All

È l'ultima polemica in ordine di tempo e vede contrapposti chi concepisce una gestione muscolare del fenomeno migratorio, con tutta la sua complessità, e chi si riconosce comunque e prima di tutto in una deontologia e una diversa idea dei doveri di cura.

Immagine di theo-EAN8eNNGU98-unsplash

La costruzione della super-diga cinese sul fiume Yarlung Tsangpo in Tibet è un modo per riflettere sull’inevitabilità delle grandi opere, anche quando dovrebbero servire ad alleggerire i danni all’ambiente. Ovviamente non c’è nulla di inevitabile. Non sta scritto da nessuna parte che per fare energia idroelettrica si debba per forza sterminare una riserva naturale, far sfollare milioni di persone e ridurre alla sete la popolazione a valle.

Immagine: Canyon del fiume Yatlung Tsangpo. Di mayanming, CC BY-SA 3.0

Le dighe, che ci servono anche per produrre energia idroelettrica, stanno vivendo periodi difficili a causa della siccità. E questo va tenuto di conto ora che i periodi siccitosi saranno verosimilmente sempre di più. Serve capire come eventualmente modificare la tecnologia e come sviluppare ancora la nostra capacità di accumulo energetico.

Immagine: lago di Fiastra, in fondo diga. Foto propria.

Nel giro di quattro giorni sono arrivate due notizie clamorose dal mondo dell’intelligenza artificiale applicata alla matematica: la formalizzazione completa della dimostrazione dell’“ultimo teorema di Fermat” e la soluzione (attualmente ancora da verificare) di un “problema del millennio” relativo alle equazioni di Navier–Stokes. Molte le reazioni, dall’entusiasmo dei tecno-ottimisti, alla paura dei tecno-pessimisti, fino alla preoccupazione di chi sostiene che l'interesse delle compagnie di IA alla soluzione dei grandi problemi aperti eroda gli aspetti culturalmente più rilevanti della ricerca matematica. Sono tutte reazioni comprensibili, e a parere dell'autore alcune sono anche molto ben motivate. Eppure, che le macchine contribuiscano in modo decisivo a dimostrare teoremi non dovrebbe sorprendere più di tanto. Per oltre un secolo, una piccola ma molto motivata comunità di matematici, e poi di logici e infine di informatici teorici, ha coltivato proprio questo sogno, oggi diventato realtà grazie al progresso tecnologico e a investimenti senza precedenti. (Illustrazione realizzata con strumenti di intelligenza artificiale generativa).